<?php

	/* Substitutions de type page */
		
	function substitpage($texte){
		global $page;
		$texte = str_replace("#PAGE_CUR", $page, $texte);
		return $texte;
	
	}

?>